The Gabriel–Popescu theorem, also quoted as Popesco–Gabriel theorem because of that spelling in the original published paper (cf. the spelling in that order, which is sometimes considered wrong when in the order of the authors!) asserts that every Grothendieck category can be represented as a reflective subcategory of a category of modules over a unital ring, where the localization functor is exact (one calls such subcategories of module categories Giraud subcategories). The right adjoint (reflection) is in this setup sometimes called the section functor.
This is the Ab-enriched analogue of the fact that sheaf toposes are equivalently the left exact reflective subcategories of presheaf toposes. See a more general statement at enriched sheaf.
There are various generalizations, e.g.
N. Kuhn had related results in the study of Steenrod algebra, cf. also
An analogue in triangulated setup: every triangulated category which is well generated in the sense of Amnon Neeman and algebraic (over ground ring ) in the sense of Bernhard Keller is -linearly triangle equivalent to a localization of the derived category of a small pretriangulated dg-category by a localizing subcategory generated by a set of objects:
In the setup of (pretriangulated) dg-categories and t-structures
Francesco Genovese, Julia Ramos González, A derived Gabriel–Popescu theorem for t-structures via derived injectives, Intern. Math. Res. Notices 2023:6 (2023) 4695–4760 doi arXiv:2105.02561
Francesco Genovese, A derived Gabriel-Popescu Theorem for t-structures via derived injectives, talk at Toposes Online 2021 yt
Last revised on September 16, 2024 at 00:11:12. See the history of this page for a list of all contributions to it.